﻿using Infinity.Statements;

namespace Infinity.Statements
{
	public interface IConstraintStatement : IStatementBase
	{
		IInvariantStatement Invariant { get; set; }
		IPreConditionStatement PreCondition { get; set; }
		IPostConditionStatement PostCondition { get; set; }
	}
}